منابع مشابه
On Determinism
The notion of deterministic execution of concurrent systems has appeared in many guises throughout Edward A. Lee’s œuvre, but few really grasp how powerful, important, subtle, and flexible the concept really is. Determinism can be thought of as an abstraction boundary that delineates where control is passed from a system designer to the implementation. This paper surveys some of the many forms ...
متن کاملOn Separating Predictability and Determinism
There has been a long-standing debate about the relationship of predictability and determinism. Some have maintained that determinism implies predictability while others have maintained that predictability implies determinism. Many have maintained that there are no implication relations between determinism and predictability. This summary is, of course, somewhat oversimplified and quick at leas...
متن کاملComments on relaxed $(gamma, r)$-cocoercive mappings
We show that the variational inequality $VI(C,A)$ has aunique solution for a relaxed $(gamma , r)$-cocoercive,$mu$-Lipschitzian mapping $A: Cto H$ with $r>gamma mu^2$, where$C$ is a nonempty closed convex subset of a Hilbert space $H$. Fromthis result, it can be derived that, for example, the recentalgorithms given in the references of this paper, despite theirbecoming more complicated, are not...
متن کاملOn Compiling DNNFs without Determinism
State-of-the-art knowledge compilers generate deterministic subsets of DNNF, which have been recently shown to be exponentially less succinct than DNNF. In this paper, we propose a new method to compile DNNFs without enforcing determinism necessarily. Our approach is based on compiling deterministic DNNFs with the addition of auxiliary variables to the input formula. These variables are then ex...
متن کاملDefining Determinism
The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Behavior Analyst
سال: 1983
ISSN: 0738-6729,2196-8918
DOI: 10.1007/bf03391880